Term extensions of partial ring-like quantum logics
نویسندگان
چکیده
منابع مشابه
Partial quantum logics revisited
Partial Boolean algebras (PBA’s) were introduced by Kochen and Specker as an algebraic model reflecting the mutual relationships among quantumphysical yes-no tests. The fact that not all pairs of tests are compatible was taken into special account. In this paper, we review PBA’s from two sides. First, we generalize the concept, taking into account also those yes-no tests which are based on unsh...
متن کاملTerm Rewriting in Logics of Partial Functions
We devise a theoretical foundation of directed rewriting, a term rewriting strategy for logics of partial functions, inspired by term rewriting in the Rodin platform. We prove that directed rewriting is sound and show how to supply new rewrite rules in a soundness preserving fashion. In the context of Rodin, we show that directed rewriting makes a significant number of conditional rewrite rules...
متن کاملExtensions to Description Logics
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics as a modeling language. In particular, it addresses the extensions concerning: concrete domain constraints; modal, epistemic, and temporal operators; probabilities and fuzzy logic; and defaults. On the other hand, it co...
متن کاملJustification Logics and Conservative Extensions
Several justification logics have evolved, starting with the logic LP, [2]. These can be thought of as explicit versions of modal logics, or logics of knowledge or belief in which the unanalyzed necessity operator has been replaced with a family of explicit justification terms. Modal logics come in various strengths. For their corresponding justification logics, differing strength is reflected ...
متن کاملPostnikov Extensions of Ring Spectra
We give a functorial construction of k-invariants for ring spectra, and use these to classify extensions in the Postnikov tower of a ring spectrum.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Contemporary Mathematical Sciences
سال: 2007
ISSN: 1314-7544
DOI: 10.12988/ijcms.2007.07102